|
In mathematics, a Priestley space is an ordered topological space with special properties. Priestley spaces are named after Hilary Priestley who introduced and investigated them.〔 Priestley, (1970).〕 Priestley spaces play a fundamental role in the study of distributive lattices. In particular, there is a duality between the category of Priestley spaces and the category of bounded distributive lattices.〔 Cornish, (1975).〕 〔Bezhanishvili et al. (2010) 〕 ==Definition== A ''Priestley space'' is an ''ordered topological space'' , i. e. a set equipped with a partial order and a topology , satisfying the following two conditions: (i) is compact. (ii) If , then there exists a clopen up-set of such that and . (This condition is known as the ''Priestley separation axiom''.) 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Priestley space」の詳細全文を読む スポンサード リンク
|